What is the chemical formula for the solid formed in the reaction of HgCl₂ with Na₂CO₃ in water?