Scanning electrochemical microscopy as a quantitative probe of acid-induced dissolution: theory and application to dental enamel.