SeaDataNet, an enhanced ocean data infrastructure giving services to scientists and society