Bi‐level modelling of false data injection attacks on security constrained optimal power flow | Synapse