VSEncoding: Efficient Coding and Fast Decoding of Integer Lists via Dynamic Programming