Add some integer optimisation examples

[yozw]

Currently, I think there are only continuous and binary models among the examples.