Some work in the field assumes that fragment lengths are distributed according to the observed insert size distribution, and that such fragments are sampled uniformly random from the original transcript sequences. What were the reasons to choose a Weibull distribution for modeling the intermediary result of fragmentation?