How to extinguish a lead-acid battery explosion