A variational integral for the propagation coefficient of a cylindrical waveguide with imperfectly conducting walls