Coal mining productivity is calculated by dividing total coal production by the total direct labour hours worked by all mine employees.