Synthesis, crystal structure, and magnetic properties of Co3(HPO4)2(OH)2 related to the mineral lazulite