老外发明墙壁开槽机，14秒开2米沟槽，效率比传统人工提高10倍