CTISum: A New Benchmark Dataset For Cyber Threat Intelligence Summarization