Towards an Algorithmic Revolution in Economic Theory