The Avoidance of Obstacles by Flying Bats: Spallanzani's Ideas (1794) and Later Theories