Chemical lumping of mechanisms generated by computer. Application to the modelling of normal butane oxidation