Exact algorithms for weighted and unweighted Borda manipulation problems