How do you solve the system x=y+2 and 2x3y=12?