Investigation and development of efficient integer and integer goal programming systems