Roborock makes seriously impressive robot vacuums. With the launch of RockAqua P1, it’s taking on pool care for the first time.