It's not remotely a stretch. The biggest mining machines in the world (open pit coal shovels in Europe) are already electric and have been for ages. In the rest of the mining industry most big manufacturers like CAT and Sandvik are releasing battery powered scoops, haul-trucks, etc. It's on its way but industrial adoption will surely follow consumer adoption. We do need better batteries, faster charging, and more experience before they can take over, but thankfully that consumer demand is paving the way (i.e. paying for the research).