Optimizing the double description method for normal surface enumeration