the different types of rocks and their names