where does the energy that drives the rock cycle come from