Differentiable Top-k Operator with Optimal Transport