On flag-transitive automorphism groups of symmetric designs