The algal diversity in the different types of tuff rocks from historical buildings