Group classification of semilinear Kohn–Laplace equations