Aggregate market quality implications of dark trading