Gravar-mail: Evaluating the completeness of HIV surveillance using capture-recapture models, Alameda County, California