Gravar-mail: The finite state projection approach to analyze dynamics of heterogeneous populations