Optimising the operation of the HVAC system with a ground source heat pump in a school building