When was the rock cycle discovered? How and by who?