Simultaneous optimization of work and buffer space in unpaced production lines with random processing times