Analisi diofantea