Decomposition algorithm for hot rolling scheduling