Mathematical programming representation of pull controlledsingle-product serial manufacturing systems