An Optimization Model of Elevators Group Zoning Dispatching and Its Application | IEEE Conference Publication | IEEE Xplore