Stimulating Creativity with FunLines: A Case Study of Humor Generation in Headlines