A discrete mathematical model of the crayfish life cycle for predicting trapping efficacy