Diophantine Approximation and Dynamical Systems