mining option