Towards a theory of how bats navigate through foliage