Microbial diversity of a closed salt lagoon in the Puertecitos area, Upper Gulf of California