Solid Modeling with Designbase: Theory and Implementation