How much would it cost from rock quarry per ton