Theory amidst complexity – using process tracing in ex-post evaluations