latest machineries used for coal mining