The role of gastropod pedal mucus in locomotion