Structural biology of microbial gas vesicles