STXXL: Standard Template Library for Extra Large Data Sets