Optimal design of thermoelectric cooling system integrated heat pipes for electric devices