Mechanical properties of tantalum carbide from high-pressure/high-temperature synthesis and first-principles calculations.