Numerical And Experimental Constraints On Trace Element Fractionation During Lunar Magma Ocean Solidification