carbonate formations