A model for population growth of laboratory animals subjected to marker-assisted introgression: how many animals do we need?