Saccadic head movements of the praying mantis, with particular reference to visual and proprioceptive information