Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations