How do you solve the system by substitution x + y = 12 and y = 2x?