Danish ISP shuts access to file-sharing Pirate Bay