US launches large-scale strikes on ISIS targets in Syria: military