O-Minimality and Diophantine Geometry: Functional transcendence via o-minimality