GPS-based electronic ticket machines