How to recount electronic votes