Enhanced ambiguity resolution and integrity monitoring methods for Precise Point Positioning