Algorithms and data structures : The basic toolbox.