Lakatos and the Historical Approach to Philosophy of Mathematics