Historical Knowledge and Quantitative Analysis: The Case of the Origins of Proportional Representation