Gone in 40 days: US drops ban on export of chip design tools to China