a ticket turnstile is used for dispensing tickets