Principles of insect path integration