The heat of formation of uranium carbide