Investigating Planetary Core Formation with Geophysical Modeling and High-Pressure Mineralogy