Online tracking of ants based on deep association metrics: method, dataset and evaluation. (July 2020)