Computability of simple games: A characterization and application to the core