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