Separating 39 Ar from 40 Ar by cryogenic distillation with Aria for dark-matter searches