Analysis of the Integer Property of Ambiguity and Characteristics of Code and Phase Clocks in PPP using a Decoupled Clock Model