MPR News Primer: Frac sand mining