Boris Johnson becomes UK prime minister