‘Galileo Galilei’ (GG): space test of the weak equivalence principle to 10−17 and laboratory demonstrations