Global positioning system receivers