machines used for mining coal