Allocating Reticles in an Automated Stocker for Semiconductor Manufacturing Facility