Nord Stream pipeline leaks no longer dangerous to ships, Danish agency says