Laminar flame speeds, counterflow ignition, and kinetic modeling of the butene isomers