supreme court on vvpat counting