Which mathematician, Boris Trakhtenbrot or Mikhail Leonidovich Gromov, was born first?