Computer assisted generation of exact stiffness matrix and fixed edge forces for certain axisymmetric plate and shell elements