Pork tenderloin in mustard crust