Automatic ticket vending machines