Pork Tenderloin with Buttery Green Beans