Model Theory of Stochastic Processes