Text this: A Complete Axiomatisation for Probabilistic Trace Equivalence