Terrain Aided Navigation For Autonomous Underwater Vehicles With Local Gaussian Processes