Existence and uniqueness of nonnegative eigenfunctions of the Boltzmann operator