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