[boost] [graph] Maximum weighted matching algorithm for general graphs?