Simulation of Local Electrochemistry in Solid Oxide Fuel Cell Microstructures by High Performance Computation