Aproksymacja diofantyczna