Actuation and Locomotion of Miniature Underwater Robots: A Survey | Synapse