2016 campaign for the United Kingdom to leave the European Union; Johnson was a prominent figure in it