Analiza diofantyczna