20160701 world: Former London mayor Boris Johnson opts out of UK PM race