Carbonate acidizing: Modeling, analysis, and characterization of wormhole formation and propagation