How does Reddit's 'hotness' algorithm function? e.g. does it take account of how user numbers are different at different times of the day?