STV counting in PHP