HKEx to spend HKD3 billion on ‘Orion’ technology upgrade