Exports of high-tech machine tools from China to Russia have skyrocketed since the invasion of Ukraine