A type of rock that forms when hot, liquid rock hardens is called