pork loin in mustard sauce