[boost] How to construct a reverse_edge_map from CSR