Stimulation Applications for Carbonate Reservoirs: An Overview of Acidizing Technologies and Methods Used in Pre and Post Salt Reservoirs in Brazil