'Thor: Ragnarok' makes Marvel history