Verification and optimization of nonlinear shell buckling formula of thin-shell structures