An artificial neural network explains how bats might use vision for navigation