Effects of carbon vacancies on the structures, mechanical properties, and chemical bonding of zirconium carbides: a first-principles study.