Underestimation of Portfolio Insurance and the Crash of October 1987