Improving reliability and efficiency of RTK ambiguity resolution using multiple rover receivers connected to the same antenna.