How does a GPS transmitter work?