Determination of ocean tide loading displacements in Hong Kong using GPS technique