A MIP-based slicing heuristic for three-dimensional bin packing