3 main types of rocks