Microsoft open-sources a crucial algorithm behind its Bing Search services