Sunken ships, voting machines, and oil rigs—how artificial reefs are changing the ocean