how coal gets crushed in ball mills in Mexico