Differentiation and magmatic history of Vesta: Constraints from HED meteorites and Dawn spacecraft data