Text this: Seismic arrival-time picking on distributed acoustic sensing data using semi-supervised learning