The H2020 european project DEMETRA: Experimental time services based on European GNSS signals