On the Future High-Precision European GNSS CORS Infrastructure