Added the functions for get_user_tickets and get_user_ticket_count