Solid-state synthesis of tungsten carbide from tungsten oxide and carbon, and its catalysis by nickel