Robot mower vs push mower: three robot mowers parked on a sunlit lawn