How Facebook’s IPO was bungled by Nasdaq’s computers