three different types of rocks in the ocean