How do you solve x+2y=13 and y=7-x?