毫厘之间“智”在必得，山铁智科这台机器人给高铁轨道做毫米级校准