A geometric formulation of linear elasticity based on discrete exterior calculus. (1st February 2022)