Disney’s ‘The Lion King’ tops $1 billion at the box office