machine names used for coal mining