Thermodynamic analysis and reduction of tungsten trioxide using methane