How Petraeus changed the U.S. military