home > > aggregate mining definition