How does crystal size relate to how long the rock took to cool?