Xiaomi launches Mi Robot Vacuum, an intelligent robotic home cleaner