Gravar-mail: Validation of an Electronic Medical Record–Based Algorithm for Identifying Posttraumatic Stress Disorder in U.S. Veterans