A copper roof turns green after many years. What is the green layer?