An experimental and kinetic modeling study of the oxidation of the four isomers of butanol.