A DNA region of 9kbp contains all genes necessary for gas vesicle synthesis in halophilic archaebacteria