Local times and sample function properties of stationary Gaussian processes