Redox state during core formation on asteroid 4-Vesta