A brief history of the conventional submarine