A Probabilistic Semantics for the Pure Lambda Calculus