‘Spider-Man: No Way Home’ tops ‘Avatar’ to become the third-highest-grossing film of all time at US box office