Theory and Simulations of Electrocatalyst-Coated Semiconductor Electrodes for Solar Water Splitting | Synapse