Tail Negative Dependence And Its Applications For Aggregate Loss Modeling