Learning to Compare Hardware Designs for High-Level Synthesis