چقدر پول حقیقی از بورس تهران خارج شد؟