Probabilistic Thread Algebra