Diophantine Equations Over Function Fields