Formation, stratification, and mixing of the cores of Earth and Venus