Best RTK antenna for robot mower: a pole-mounted reference station beside a mower and dock on an open lawn