Key strategies for decarbonizing the residential building stock: results from a spatiotemporal model for Leiden, the Netherlands