Microsoft's path to a smarter Bing and Cortana includes tapping Reddit users' opinions