The Boost Graph Library: User Guide and Reference Manual