How Jules Verns invented a submarine