an attack that kills civilians—even lots of them—can be legal if it is necessary for some military purpose and proportional “in relation to the concrete and direct military advantage anticipated”.