Sound and robust solid modeling via exact real arithmetic and continuity [pdf]