On the Computational Complexity of Non-Dictatorial Aggregation