A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains (Logical Methods in Computer Science, 2018)