Design and validation of topology optimized heat exchangers