What class of submarines is based upon a class of diesel-electric attack submarines jointly developed by French Direction des Construtiones Navales and the Spanish company Navantia?