Definición y tipos de buques