Stock market crashes: what have we learned from October 1987?