How do you solve y² = x + 3 and x - 2y = 12 using substitution?