An Efficient Mixed-Integer Linear Programming Model for Optimal Sizing of Battery Energy Storage in Smart Sustainable Buildings | IEEE Conference Publication | IEEE Xplore