fix duplicate mines; improve game over;