first miners