of the machines used for coal