what types of machine used for coal mining