Review and prospects of research on materials to prevent and extinguish mine fires