GPS signal explained