Pork Tenderloin with Cabbage