‘Spider-Man’ divorce is bad for Disney and Sony