Structural study of the commensurate–incommensurate low-temperature phase transition of Pb on Si(111)