Recent progress and perspectives on coal dust sources, transport, hazards, and controls in underground mines