Labor intensity as a strategic KPI for evaluating the efficiency of coal mines | Synapse