Pork chops with onions and mushrooms