Pork chops with mushrooms and shallots