how is biotite mined