What is the difference between a fusion tree and VEB-Tree?