Pattern formation in a predator-mediated coexistence model with prey-taxis