Mechanical linkages, interactive geometry software, and argumentation