The effect of function-based and voxel-based tropospheric tomography techniques on the GNSS positioning accuracy