Harissa Rubbed Pork Tenderloin