Lean flammability limit of high-dilution spark ignition with ethanol, propanol, and butanol