Diophantine geometry over function fields