On the electron temperature in the topside ionosphere as seen by swarm satellites, incoherent scatter radars, and the international reference ionosphere model