Mining in ancient Greece