HOTPAC, programs for thermal analysis including version 3.0 of the TXYZ program, TXYZ 30, and the thermal multilayer program, TML