Achieving global convergence to an equilibrium population in predator–prey systems by the use of a discontinuous harvesting policy