OpenMath CDs for 3-dimensional Euclidean geometry