Hong Kong’s e-HKD project expands into tokenization, programmability