Transcript analysis of the c-vac region and differential synthesis of the two regulatory gas vesicle proteins GvpD and GvpE in Halobacterium salinarium PHH4