Semiparametric estimation of a two-component mixture of linear regressions in which one component is known