TraVaG: Differentially Private Trace Variant Generation Using GANs