Estimating workforce size in a coal mine

From Global Energy Monitor