MetRex: A Benchmark for Verilog Code Metric Reasoning Using LLMs