Shortest feasible paths with partial charging for battery-powered electric vehicles in smart cities