Synthesis, crystal structure, and properties of stoichiometric hard tungsten tetraboride, WB4