Antiproton tagging and vertex fitting in a Timepix3 detector