Roborock makes high-end robot vacuums and mops — feature-leading models with self-emptying docks, mop washing, and LiDAR navigation.