[Boost-users] How to get a graph with edges sorted by weight (or some other property) ?