Qualitative analysis of a predator–prey model with Holling type II functional response incorporating a constant prey refuge