Bathymetry SLAM using reduced rank Gaussian Processes and DVL range measurements