Metal–insulator transition in the In/Si(1 1 1) surface