Partition of India: The unruly end of empire