CrowdStrike, Ukraine, and the DNC server: Timeline and facts