How do you solve x + y = 12 and y = 2x?