Genes, Vol. 12, Pages 1756: The Methods of Digging for“Gold” within the Salt: Characterization of Halophilic Prokaryotes and Identification of Their Valuable Biological Products Using Sequencing and Genome Mining Tools