SoftBank invests $200M in construction automation startup Gravis Robotics