Global Optimisation of Pessimistic Bi-Level Problems