Text this: A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains