A method and system for GNSS positioning assisted by three-dimensional map