Pork Tenderloin with Shredded Brussels Sprouts