Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction