Here’s ‘Big Short’ Michael Burry’s updated stock portfolio