Ash Agarwal on solving mining’s “Alexa problem”