mining garnet rocks mining for garnet construction sand