machines used to mining coal