Diofantiline võrrand