Case Study: Amsterdam Transit Operator Seeks to Go Nearly 100% Digital for Ticketing to Cut Costs and Enhance Service