A large plasmid from Halobacterium halobium carrying genetic information for gas vacuole formation