Spatially-resolved urban energy systems model to study decarbonisation pathways for energy services in cities