Scaling Up EV Battery Swapping Services in Cities: Joint Location and Repairable-Inventory Model and Algorithm