Harvesting in discrete-time predator-prey systems