Superconductivity in monolayer Pb on Si(111) from first principles