Marine litter: one of the major threats for marine mammals. Outcomes from the European Cetacean Society workshop