Termination And Semantics Of Probabilistic Lambda Calculus