Dwadzieścia tysięcy mil podmorskiej żeglugi – streszczenie