Bi-level programming for the strategic energy management of a smart city | IEEE Conference Publication | IEEE Xplore