what is mining for mica