Prediction of stable hafnium carbides: Stoichiometries, mechanical properties, and electronic structure