longest increasing subsequence in Python