AdaptiFont: Increasing Individuals’ Reading Speed with a Generative Font Model and Bayesian Optimization