Lower Bounds on Streaming Algorithms for Approximating the Length of the Longest Increasing Subsequence