Vladimir Voevodsky has died