Brazilian-Style Roasted Pork Tenderloin