Horvitz–Thompson whale abundance estimation adjusting for uncertain recapture, temporal availability variation, and intermittent effort