The CoRa Tensor Compiler: Compilation for Ragged Tensors with Minimal Padding