ConSim: Measuring Concept-Based Explanations' Effectiveness with Automated Simulatability