Comparison of methanol heat pipes and water heat pipes in a heat sink