As Boris Johnson departs, UK takes stock of his messy legacy