AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation