World Sales of Building Energy-Management Systems Top $13 Billion