The Lie group of rigid body displacements, a fundamental tool for mechanism design