Building a high-performance ticketing system with TigerBeetle