Digitization of Old Maps Based on Machine Learning and Image Morphology: an Example of Surface Water Extraction in Modern Shanghai