Ab initio calculation of a Pb single layer on a Si substrate: two-dimensionality and superconductivity