Green Beans with Pine Nuts