‘Rogers: The Musical,' first Marvel musical at Disneyland opens