Are the solutions on stackoverflow licensed in a way that allows people to use them that way? Is this true for AI training data?