珊瑚是死去的珊瑚虫形成的么