Efficient Discrete Particle Swarm Optimization Algorithm for Process Mining from Event Logs