Text this: Kinetic model reduction using integer and semi-infinite programming