Real-time thermal propagators and the QED effective action for an external magnetic field☆