Oil rout wipes out the surprisingly big market for sand