a miners