The Magic of Slow-to-Fast and Constant: Evaluating Time Perception of Progress Bars by Bayesian Model