how much biotite mica is mined