Równanie diofantyczne