Update collisions_probability.tex