Understanding GPS receiver terminology: a tutorial