Pork chops with mushroom sauce