Theory of anodic stripping voltammetry with a plane, thin mercury-film electrode