Social\, collaboration software market to nearly double through 2023\, says Gartner