The Hardik Pandya trade was perhaps the most high-profile player transfer in IPL history. Here's an explainer of how such trades work in the league