Cyanobacterial diversity in microbial mats from one of the largest hypersaline coastal lagoons complex: an in-depth polyphasic approach