pork medallions with mustard sauce