Spicy pork tenderloin mustard sauce