How do you integrate by substitution 12xdx?