TrueML Names Thomas Overton as CTO