Large Problems in Numerical Limit Analysis: A Decomposition Approach