Theoretical Formulation of Finite-Element Methods in Linear-Elastic Analysis of General Shells∗