The limiting distribution of the product replacement algorithm for finitely generated prosoluble groups