Swap allocators in vector::swap()