altered session to maintain refresh and expiry using a new class, timestamp_queue, so that it will be easier to swap in the distributed version of this class later