The quantum adversary method and classical formula size lower bounds