How do you solve x + y = 12, y =2x using substitution?