Improved Answer-Set Programming Encodings for Abstract Argumentation