Optimal maintenance planning and scheduling in semiconductor back-end manufacturing Optimal maintenance planning and scheduling in semiconductor back-end manufacturing