branching process; Galton-Watson process; random trees; construction of probability space