Gravar-mail: Closed-form probability distribution of number of infections at a given time in a stochastic SIS epidemic model