Technologies in the field of ventilation of mine workings