Что обозначает JSESSIONID в файле cookie и как он используется для идентификации сессии пользователя?