An Exact Algorithm for the Two-Dimensional Strip Packing Problem