mine ventilation notes for beginners