Email Post: Prospective Memory, Personality, and Working Memory: A Formal Modeling Approach