longest increasing subsequence explained