Hong Kong 3.5GHz spectrum auction