The Sources and Methodology of the Shulhan Arukh: Big Data Meets Yosef Karo