Estimating mosquito population size from mark-release-recapture data