Distribution and diversity of halophilic bacteria in a subsurface salt formation