Contractor Selection for Defense Acquisition with Advanced Many-to-One Stable Matching Model