Green Beans with Mustard and Pine Nuts