The Petersen–Lincoln Estimator and its Extension to Estimate the Size of a Shared Population