VerilogEval: Evaluating Large Language Models for Verilog Code Generation