Explicit short intervals for primes in arithmetic progressions on GRH