Explicit solution for the stationary distribution of a discrete-time finite buffer queue