Demonstrator of Time Services based on European GNSS signals: the H2020 DEMETRA Project