Automated Abstraction of Discrete-Event Simulation Models using State-Trace Data