Electrochemical Photolysis of Water at a Semiconductor Electrode