Optimal decarbonization pathways for urban residential building energy services