Production scheduling and system configuration for capacitated flow lines with application in the semiconductor backend process