An Analytical Model for the Impact of Building Control and Automation Upgrade on Space Heating Energy Efficiency