Israel har angripit militär infrastruktur i Syrien, uppger den israeliska militären (IDF).