A finite element procedure for modeling progressive damage in laminated composite shell structures