Cast Iron Pork Tenderloin