Inequality Constrained Estimates -- 4. GNSS Integer Ambiguity Validation Procedures: