Numerical simulations of thermal-chemical instabilities at the core–mantle boundary