Coordinated scheduling of production and logistics for large-scale closed-loop manufacturing using Benders decomposition optimization