Tam Çözüm Yöntemleri, Tamsayılı Programlama Formülasyonu