GPS carrier phase estimation