Cider-Roasted Pork Tenderloin