Provision of operation and maintenance of Hong Kong International Airport