GPS satellite time and positioning calculations incorporate Albert Einstein's theories of relativity