Resource-Aware Throughput Optimization for High-Level Synthesis