Improved Mixed-Integer Models Of A Two-Dimensional Cutting Stock Problem