US government shuts down: what it means for markets