Doping of WO3 for Photocatalytic Water Splitting: Hints from Density Functional Theory