Stochastic lambda calculus and monads of probability distributions