Statistics for Refining the HIV-1 glycan shield model: dynamics of a heterogeneous envelope trimer and empirical prediction of glycan processing