Welfare analysis of dark pools