Crusted Pork Tenderloin