Convective boundary mixing in stars