Boltzmann-type control of opinion consensus through leaders