battle hymn of the republic charles gerhardt lyrics music