Roasted Pork Tenderloin with Broccoli