‘Spider-Man: Into the Spider-Verse’ tops the box office to back up all that acclaim