Gravar-mail: Magnetic Field Gradient-Based EKF for Velocity Estimation in Indoor Navigation