Post-election policy: Will Trump or Biden be better for the markets?