Stability and bifurcation analysis in a predator–prey system with Michaelis–Menten type predator harvesting. (February 2017)