Computability and Computational Explanation