Robotic flippers reveal how plesiosaurs swam