Barbie, Spider-Man, Black Panther – visions of dolls and comic-book characters inevitably will be dancing in the heads of Grammy voters when they sit down to nominate movie music for this year’s ...