Best integer equivariant position estimation for multi-GNSS RTK