Factbox: If UK PM Boris Johnson is ousted, who could replace him?