number of employees in a coal mine