Experimental petrochemistry of some highly siderophile elements at high temperatures, and some implications for core formation and the mantle's early history