use of wheel loaders in coal mines in wikipedia