Phương trình Diofantos