Summary of investigations of dust and ventilation in metal mines