Evaluating Trace Encoding Methods in Process Mining