Did phalanx-based armies "devolve" after Alexander the Great's death before the Romans showed their system of warfare to be superior?