Demand for heat from rock mass and borehole heat exchangers for a ventilation system in case of the auditorium at the Faculty of Drilling, Oil and Gas at AGH UST in Krakow