An explicit Chebotarev density theorem under GRH