mining equipment used in coal washeries