Benchmarks for Automated Commonsense Reasoning: A Survey