A shock tube and chemical kinetic modeling study of the pyrolysis and oxidation of butanols