Ionospheric errors in GPS