Computational Modeling of Voters' Checking Behavior & Checking Performance