Tree Compression with Top Trees Revisited