std::vector::get_allocator