Children are minors, but unless they are violating child-labor laws, those who work in mines areĀ miners.