Complexity of and Algorithms for Borda Manipulation