Optimal Processing Times in Reading: A Formal Model and Empirical Investigation · Study