importancia de la ventilación de minas