Height determination based on GNSS measurements in the mountainous area: contribution of the geoid model and data processing technique to the overall error budget | Synapse