An Introduction to Heat Pipes