AI companies should not train models on user data from developer tools