Verification of ANSYS and Matlab Heat Conduction Results Using an Intrinsically-Verified Exact Analytical Solution