How we used a Twitter bot to identify the companies shipping Russian oil to Europe