A multiyear dust devil vortex survey using an automated search of pressure time series