Adaptive Super-resolution for Ocean Bathymetric Maps using a Deep Neural Network and Data Augmentation