The Digital Reconstruction of Leonardo’s Library: Revealing Formal Patterns in Early Modern Thought