How do you solve x + y = 5 and 2x + y = 7 using substitution?