The sharp lower bound for the first positive eigenvalue of a sub-Laplacian on a pseudo-Hermitian manifold