Analytical Approaches and Experimental Verification to Describe the Influence of Cold Work and Heat Treatment on the Mechanical Properties of Zircaloy Cladding Tubes