Models of a tethered balloon motion and associated Extended Kalman Filter Algorithm for estimating motion from accelerometer, gyroscope, GPS and magnetometer observations