J. Gresham Machen: A Biographical Memoir