Linear and nonlinear finite element modeling and stress analysis of portal cranes