Discovering Declarative Process Model Behavior from Event Logs via Model Learning