A quantitative model for the all-or-none permeabilization of phospholipid vesicles by the antimicrobial peptide cecropin A