Можете ли вы объяснить, что такое Push-токен и как он используется в мобильных приложениях?