what are the three types of rocks