A shock tube and kinetic modeling study of n-butanal oxidation