GeneAgent: Self-verification Language Agent for Gene Set Knowledge Discovery using Domain Databases