products of mining industry and their substitutes