Integer ambiguity resolution with nonlinear geometrical constraints