Lower bounds for sorting networks