Mathematical programming algorithms for bin packing problems with item fragmentation