A finite element procedure for rigorous numerical enclosures on the limit load in the analysis of multibody structures