Braised Pork Chops with Tomatoes, Cream, and Porcini Mushrooms