An estimate of the chemical kinetics behind normal shock waves in mixtures of carbon dioxide and nitrogen for conditions typical of Mars entry