Introduction to integer programming