Neimark–Sacker Bifurcation of a Discrete-Time Predator–Prey Model with Prey Refuge Effect