Title: Productivity in coal mines