An Extended Kalman Filter for Magnetic Field SLAM Using Gaussian Process Regression