Antenna type, mount, height, mixing, and snow effects in high-accuracy GPS observations