Gửi tin nhắn: A mathematical programming technique for matching time-stamped records in logistics and transportation systems