Function and biosynthesis of gas vesicles in halophilicArchaea