Text this: Environmental effects of oil shale mining and processing /