Gravar-mail: Integrating linear optimization with structural modeling to increase HIV neutralization breadth