Which type of GPS receiver has at least four channels to process