Formulations, algorithms and software for robust optimisation