Fundamental groups and Diophantine geometry