Locally stationary stochastic processes and Weyl symbols of positive operators