spare parts used in coal mining