Leica Infinity – Processing Module – GNSS baseline processing