If copper is kept open in the air, it slowly loses its shining brown surface and gains a green coating. It is due to the formation of