A New Binary Programming Formulation and Social Choice Property for Kemeny Rank Aggregation