A mathematical model of case-ascertainment bias: Applied to case-control studies nested within a randomized screening trial