Non-equilibrium quantum statistical mechanics, steady-states, Liouvillean, entropy production, spectral theory