A study of mathematical models for reducing feral cat populations