Statistics for Economic batch production at the rolling mill of the Ceylon Steel Corporation