AlphaSum: Size-Constrained Table Summarization using Value Lattices