Scratching bouts are modeled as Bernoulli trials until successful itch-extinguishing in mice