Global Positioning System Receivers and Relativity