Iron Man and Doctor Doom’s long history: Why Robert Downey Jr’s casting may not be as controversial