The Story of the Edwin Hawkins Singers’ ‘Oh Happy Day’