A spatio-temporal life cycle assessment framework for building renovation scenarios at the urban scale