Baked pork tenderloin mustard sauce