Nebula NGC 7129 and Open Cluster NGC 7142