Analysis and simplification of chemical kinetics mechanisms with CSP-based techniques