‘Avengers: Endgame’ used never-before-seen footage from ‘Thor: The Dark World’ for a key time-travel sequence, including Natalie Portman’s appearance