How will the Senate recount work?