Gravar-mail: Model Construction and Analysis of Respiration in Halobacterium salinarum