What to do if a lead-acid battery explodes