solving simultaneous equations by substitution