Lịch sử tàu ngầm