The Encyclopedia of Life: a new digital resource for taxonomy