Fast Stochastic Analysis of P2P File Distribution Architectures