Rosemary-Crusted Pork With Polenta and Mushrooms