Dynamics of Bt-crop biomass upon invasion of a Bt-resistant insect pest: A mathematical model