Describir: Optimizing a library's loan policy: an integer programming approach.