Effects of carbon on the stability and chemical performance of transition metal carbides: A density functional study | Synapse