Optimal Regulation Criteria for Building Heating System by Using Lumped Dynamic Models