A New GNSS Ambiguity Resolution Method Through Mixed Integer Programming