NumHG: A Dataset for Number-Focused Headline Generation