Add ship.isMinable property, adjust miner AI to use it