three main types of rocks