Compilability of Abduction