Conformance Checking Over Stochastically Known Logs