L'Orto botanico di Pisa: aspetti storici e gestionali