Whole-History Rating: A Bayesian Rating System for Players of Time-Varying Strength