SKTR: Trace Recovery from Stochastically Known Logs