Home Economy Industry official warns ban on ore exports will hurt miners