High frequency trading and the 2008 short-sale ban