"Song of Summer": a composition for a choir with lyrics written by a computer