Thermodynamic Modeling of Glass Formation and DFT Calculations of Li 2 O–K 2 O–SiO 2 Melt Crystallization Within a Unified Structural Model | Synapse