Publication - Journal Article Glass Property Models, Constraints, and Formulation Approaches for Vitrification of High-Level Nuclear Wastes at the US Hanford Site