Gravar-mail: Structural constraints determine the glycosylation of HIV-1 envelope trimers