Genome comparison reveals that Halobacterium salinarum 63-R2 is the origin of the twin laboratory strains NRC-1 and R1