How do you solve the system using the substitution method for x+y=9 and y=12?