machineries and process used for coal mining