Optimal regulation criteria for building heating system by using lumped dynamic models