How do you solve ln x + ln 3x = 12?