Symbolic dimensioning in computer-aided design