machines used to process coal