What do navigation agents learn about their environment?