Speed of GPS receiver