A semantic account of strong normalization in Linear Logic