[Boost-users] any advantage of using property_map over std::map