User-Oriented ICT Cloud Architecture for High-Accuracy GNSS-Based Services