Boris Johnson's successor will have a huge mess on their hands