Marvel takes Hollywood: Nine years, 17 movies, $12 billion and counting