Analytical modeling of the responses of ice-covered streams to a thermal effluent