Cryo-EM structure of gas vesicles for buoyancy-controlled motility