General introduction to the construction progress of HKSI at Fo Tan