O-Minimality and Diophantine Geometry