Finite element design of mechanical springs by large displacement formulation