machine required for coal mining