Safe Time-Varying Optimization based on Gaussian Processes with Spatio-Temporal Kernel