SysML modeling of off-the-shelf-option acquisition for risk mitigation in military programs