How many satellites are used for transmitting GPS signals?