a man is 42 years old and his son is 12. in how many years will the father be twice as old as his son?