¿Cuántas personas siguen minando el proyecto Telegram después del lanzamiento de Hamster?