Phát minh tàu ngầm