Combining Remote-Sensing-Derived Data and Historical Maps for Long-Term Back-Casting of Urban Extents