Metric theory Diophantine approximation mathematics