Automation Seegrid buys robotics startup October 7, 2020 Box Robotics specializes in high-definition maps and three-dimensional LiDAR