ZAIGA: Zhaoshan long-baseline atom interferometer gravitation antenna | Synapse