Zaslat SMS: Analysis of wing truss stresses including the effect of redundancies