Formalized phytosociological classification of the Lake Trasimeno vegetation: an application of the Cocktail method.