‘Captain Marvel’ dominates the global box office in another stellar superhero opening for Disney