Why Michael Burry Used Credit Default Swaps? (The Big Short Explained)