Stable isotope data as constraints on models for the origin of coralloid and massive speleothems: The interplay of substrate, water supply, degassing, and evaporation