Disney revenue rises 9 percent as ‘Black Panther’ shines at box office