what is a granite rock