Toezichthoudend personeel in de mijnbouw