toepassingen in de mijnbouw