Европол: примерно 5 тыс. граждан ЕС присоединились к исламистам