Modeling of Residual Stresses in a Butt-welded Joint with Experimental Validation