EHRCon: Dataset for Checking Consistency between Unstructured Notes and Structured Tables in Electronic Health Records