Microsoft open source Space Partition Tree And Graph, key algorithms behind Bing search