Photoelectrocatalytic degradation of formic acid using a porous titanium dioxide thin-film electrode.