Microsoft’s Docs.com service to be discontinued