Crusted pork tenderloin