Dynamics of a Discrete-time Predator-Prey Model of Leslie type with Predator Harvesting