pork with mustard sauce