What are the three types of rocks?