J Gresham Machen: A Biographical Memoir