A shorter version of the GRE is launching in September