Demand Side Management of a Building Summer Cooling Load by Means of a Thermal Energy Storage