Resolving Local Electrochemistry at the Nanoscale via Electrochemical Strain Microscopy: Modeling and Experiments