productivity measures in mines