mining method of granite wikipedia