Closed form integration of element stiffness matrices using a computer algebra system