Linear approximated formulation of AC optimal power flow using binary discretisation