machines equipment used for coal mining php