Total factor productivity of the building industry of Hong Kong