A non-rigid cluster rewriting approach to solve systems of 3D geometric constraints